An enough week
blog.mitrichev.chยท23hยท
๐ŸŒฒDeforestation
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification Algorithms
GaloisInc/parameterized-utils
github.comยท2d
๐Ÿ“Linear Haskell
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.toยท4hยท
Discuss: DEV
๐Ÿช„C Metaprogramming
Neuro-Symbolic AI
en.wikipedia.orgยท4hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Categorical systems theory
topos.instituteยท7h
๐Ÿ”—Category Theory
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
A Gaussian Leftover Hash Lemma for Modules over Number Fields
eprint.iacr.orgยท3d
๐Ÿ”—Borrowing Extensions
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐ŸงฎCombinator Calculus
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.toยท1dยท
Discuss: DEV
๐Ÿ“‹Datalog
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.comยท2hยท
Discuss: r/cpp
๐ŸงฎCombinator Calculus
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.comยท3hยท
Discuss: r/rust
โšกPartial Evaluation
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
Realistic Reward Hacking Induces Different and Deeper Misalignment
lesswrong.comยท1d
โœจEffect Inference
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.aiยท5hยท
Discuss: Hacker News
๐ŸงฉConstraint Solvers
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
How the Rise of Tabular Foundation Models Is Reshaping Data Science
towardsdatascience.comยท1d
๐ŸŒฑMinimal ML
Nonlinear phase gates as Airy transforms of the Wigner function
nature.comยท5h
โˆ€Quantified Types